intersection of two normal subgroups is a normal subgroup